node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
node(126).
node(127).
node(128).
node(129).
node(130).
node(131).
node(132).
node(133).
node(134).
node(135).
node(136).
node(137).
node(138).
node(139).
node(140).
link(1,25) :- #0.637.
link(25,1) :- #0.595.
link(1,38) :- #0.955.
link(38,1) :- #0.391.
link(1,39) :- #0.693.
link(39,1) :- #0.178.
link(1,43) :- #0.61.
link(43,1) :- #0.229.
link(1,47) :- #0.819.
link(47,1) :- #0.52.
link(1,53) :- #0.681.
link(53,1) :- #0.572.
link(1,59) :- #0.357.
link(59,1) :- #0.724.
link(1,60) :- #0.717.
link(60,1) :- #0.227.
link(1,61) :- #0.113.
link(61,1) :- #0.111.
link(1,78) :- #0.705.
link(78,1) :- #0.762.
link(1,89) :- #0.096.
link(89,1) :- #0.78.
link(1,96) :- #0.29.
link(96,1) :- #0.335.
link(1,114) :- #0.023.
link(114,1) :- #0.059.
link(1,125) :- #0.679.
link(125,1) :- #0.862.
link(1,131) :- #0.332.
link(131,1) :- #0.807.
link(2,5) :- #0.49.
link(5,2) :- #0.154.
link(2,7) :- #0.614.
link(7,2) :- #0.367.
link(2,16) :- #0.304.
link(16,2) :- #0.924.
link(2,23) :- #0.61.
link(23,2) :- #0.205.
link(2,38) :- #0.937.
link(38,2) :- #0.248.
link(2,39) :- #0.884.
link(39,2) :- #0.712.
link(2,46) :- #0.927.
link(46,2) :- #0.048.
link(2,47) :- #0.051.
link(47,2) :- #0.777.
link(2,59) :- #0.512.
link(59,2) :- #0.869.
link(2,61) :- #0.978.
link(61,2) :- #0.671.
link(2,71) :- #0.581.
link(71,2) :- #0.194.
link(2,85) :- #0.699.
link(85,2) :- #0.733.
link(2,104) :- #0.025.
link(104,2) :- #0.158.
link(2,111) :- #0.352.
link(111,2) :- #0.771.
link(2,113) :- #0.283.
link(113,2) :- #0.849.
link(2,115) :- #0.024.
link(115,2) :- #0.967.
link(3,5) :- #0.209.
link(5,3) :- #0.885.
link(3,10) :- #0.973.
link(10,3) :- #0.058.
link(3,17) :- #0.986.
link(17,3) :- #0.224.
link(3,34) :- #0.891.
link(34,3) :- #0.598.
link(3,39) :- #0.353.
link(39,3) :- #0.604.
link(3,48) :- #0.1.
link(48,3) :- #0.912.
link(3,49) :- #0.961.
link(49,3) :- #0.858.
link(3,52) :- #0.346.
link(52,3) :- #0.799.
link(3,53) :- #0.913.
link(53,3) :- #0.025.
link(3,57) :- #0.008.
link(57,3) :- #0.127.
link(3,82) :- #0.294.
link(82,3) :- #0.318.
link(3,85) :- #0.456.
link(85,3) :- #0.731.
link(3,87) :- #0.598.
link(87,3) :- #0.296.
link(3,108) :- #0.263.
link(108,3) :- #0.843.
link(3,112) :- #0.833.
link(112,3) :- #0.966.
link(3,120) :- #0.272.
link(120,3) :- #0.034.
link(3,125) :- #0.749.
link(125,3) :- #0.832.
link(3,137) :- #0.792.
link(137,3) :- #0.783.
link(3,139) :- #0.209.
link(139,3) :- #0.622.
link(4,5) :- #0.71.
link(5,4) :- #0.66.
link(4,31) :- #0.33.
link(31,4) :- #0.32.
link(4,41) :- #0.061.
link(41,4) :- #0.413.
link(4,54) :- #0.444.
link(54,4) :- #0.287.
link(4,57) :- #0.752.
link(57,4) :- #0.011.
link(4,68) :- #0.461.
link(68,4) :- #0.527.
link(4,109) :- #0.118.
link(109,4) :- #0.017.
link(4,112) :- #0.315.
link(112,4) :- #0.029.
link(4,122) :- #0.941.
link(122,4) :- #0.298.
link(4,126) :- #0.242.
link(126,4) :- #0.587.
link(4,131) :- #0.112.
link(131,4) :- #0.433.
link(4,140) :- #0.822.
link(140,4) :- #0.54.
link(5,6) :- #0.552.
link(6,5) :- #0.715.
link(5,22) :- #0.553.
link(22,5) :- #0.496.
link(5,23) :- #0.214.
link(23,5) :- #0.156.
link(5,46) :- #0.075.
link(46,5) :- #0.836.
link(5,53) :- #0.191.
link(53,5) :- #0.577.
link(5,54) :- #0.62.
link(54,5) :- #0.677.
link(5,56) :- #0.474.
link(56,5) :- #0.767.
link(5,64) :- #0.416.
link(64,5) :- #0.075.
link(5,71) :- #0.821.
link(71,5) :- #0.792.
link(5,87) :- #0.407.
link(87,5) :- #0.575.
link(5,96) :- #0.31.
link(96,5) :- #0.241.
link(5,99) :- #0.855.
link(99,5) :- #0.49.
link(5,107) :- #0.38.
link(107,5) :- #0.167.
link(5,110) :- #0.321.
link(110,5) :- #0.439.
link(5,126) :- #0.731.
link(126,5) :- #0.463.
link(5,130) :- #0.746.
link(130,5) :- #0.978.
link(6,7) :- #0.211.
link(7,6) :- #0.834.
link(6,12) :- #0.257.
link(12,6) :- #0.627.
link(6,15) :- #0.375.
link(15,6) :- #0.428.
link(6,19) :- #0.157.
link(19,6) :- #0.987.
link(6,28) :- #0.519.
link(28,6) :- #0.742.
link(6,43) :- #0.79.
link(43,6) :- #0.988.
link(6,56) :- #0.667.
link(56,6) :- #0.977.
link(6,58) :- #0.591.
link(58,6) :- #0.959.
link(6,64) :- #0.923.
link(64,6) :- #0.558.
link(6,105) :- #0.175.
link(105,6) :- #0.174.
link(6,112) :- #0.178.
link(112,6) :- #0.593.
link(6,122) :- #0.531.
link(122,6) :- #0.726.
link(6,137) :- #0.989.
link(137,6) :- #0.514.
link(6,139) :- #0.862.
link(139,6) :- #0.968.
link(7,10) :- #0.324.
link(10,7) :- #0.751.
link(7,19) :- #0.803.
link(19,7) :- #0.951.
link(7,33) :- #0.283.
link(33,7) :- #0.695.
link(7,37) :- #0.457.
link(37,7) :- #0.083.
link(7,50) :- #0.108.
link(50,7) :- #0.526.
link(7,52) :- #0.877.
link(52,7) :- #0.904.
link(7,53) :- #0.132.
link(53,7) :- #0.022.
link(7,54) :- #0.388.
link(54,7) :- #0.221.
link(7,79) :- #0.504.
link(79,7) :- #0.703.
link(7,87) :- #0.077.
link(87,7) :- #0.623.
link(7,89) :- #0.721.
link(89,7) :- #0.722.
link(7,92) :- #0.059.
link(92,7) :- #0.553.
link(7,95) :- #0.432.
link(95,7) :- #0.41.
link(7,99) :- #0.079.
link(99,7) :- #0.757.
link(7,102) :- #0.643.
link(102,7) :- #0.378.
link(7,110) :- #0.955.
link(110,7) :- #0.228.
link(7,112) :- #0.011.
link(112,7) :- #0.402.
link(7,129) :- #0.259.
link(129,7) :- #0.239.
link(7,135) :- #0.256.
link(135,7) :- #0.754.
link(8,20) :- #0.967.
link(20,8) :- #0.923.
link(8,30) :- #0.909.
link(30,8) :- #0.45.
link(8,47) :- #0.189.
link(47,8) :- #0.211.
link(8,53) :- #0.493.
link(53,8) :- #0.464.
link(8,56) :- #0.201.
link(56,8) :- #0.966.
link(8,57) :- #0.183.
link(57,8) :- #0.962.
link(8,59) :- #0.023.
link(59,8) :- #0.561.
link(8,63) :- #0.857.
link(63,8) :- #0.214.
link(8,73) :- #0.663.
link(73,8) :- #0.042.
link(8,82) :- #0.94.
link(82,8) :- #0.858.
link(8,87) :- #0.623.
link(87,8) :- #0.768.
link(8,102) :- #0.381.
link(102,8) :- #0.781.
link(8,103) :- #0.518.
link(103,8) :- #0.045.
link(8,111) :- #0.519.
link(111,8) :- #0.952.
link(8,113) :- #0.
link(113,8) :- #0.734.
link(8,114) :- #0.295.
link(114,8) :- #0.115.
link(8,122) :- #0.06.
link(122,8) :- #0.209.
link(8,135) :- #0.681.
link(135,8) :- #0.562.
link(8,140) :- #0.057.
link(140,8) :- #0.694.
link(9,20) :- #0.948.
link(20,9) :- #0.944.
link(9,58) :- #0.142.
link(58,9) :- #0.26.
link(9,59) :- #0.442.
link(59,9) :- #0.838.
link(9,63) :- #0.69.
link(63,9) :- #0.346.
link(9,68) :- #0.341.
link(68,9) :- #0.065.
link(9,72) :- #0.573.
link(72,9) :- #0.937.
link(9,73) :- #0.791.
link(73,9) :- #0.34.
link(9,85) :- #0.998.
link(85,9) :- #0.808.
link(9,97) :- #0.24.
link(97,9) :- #0.031.
link(9,105) :- #0.918.
link(105,9) :- #0.945.
link(9,109) :- #0.514.
link(109,9) :- #0.764.
link(9,110) :- #0.746.
link(110,9) :- #0.105.
link(9,111) :- #0.431.
link(111,9) :- #0.332.
link(9,120) :- #0.2.
link(120,9) :- #0.044.
link(9,132) :- #0.743.
link(132,9) :- #0.25.
link(9,136) :- #0.235.
link(136,9) :- #0.465.
link(10,21) :- #0.163.
link(21,10) :- #0.259.
link(10,37) :- #0.243.
link(37,10) :- #0.744.
link(10,81) :- #0.643.
link(81,10) :- #0.69.
link(10,108) :- #0.446.
link(108,10) :- #0.816.
link(10,109) :- #0.157.
link(109,10) :- #0.566.
link(10,114) :- #0.774.
link(114,10) :- #0.826.
link(10,115) :- #0.876.
link(115,10) :- #0.543.
link(10,119) :- #0.613.
link(119,10) :- #0.527.
link(10,129) :- #0.917.
link(129,10) :- #0.723.
link(10,136) :- #0.965.
link(136,10) :- #0.683.
link(11,54) :- #0.079.
link(54,11) :- #0.179.
link(11,56) :- #0.454.
link(56,11) :- #0.621.
link(11,67) :- #0.198.
link(67,11) :- #0.038.
link(11,80) :- #0.766.
link(80,11) :- #0.32.
link(11,86) :- #0.608.
link(86,11) :- #0.467.
link(11,92) :- #0.855.
link(92,11) :- #0.4.
link(11,100) :- #0.642.
link(100,11) :- #0.154.
link(11,122) :- #0.263.
link(122,11) :- #0.682.
link(11,132) :- #0.265.
link(132,11) :- #0.372.
link(11,135) :- #0.19.
link(135,11) :- #0.661.
link(12,59) :- #0.56.
link(59,12) :- #0.481.
link(12,100) :- #0.299.
link(100,12) :- #0.895.
link(12,118) :- #0.492.
link(118,12) :- #0.602.
link(12,128) :- #0.375.
link(128,12) :- #0.451.
link(12,137) :- #0.773.
link(137,12) :- #0.928.
link(13,18) :- #0.76.
link(18,13) :- #0.866.
link(13,36) :- #0.831.
link(36,13) :- #0.925.
link(13,43) :- #0.391.
link(43,13) :- #0.636.
link(13,47) :- #0.228.
link(47,13) :- #0.885.
link(13,87) :- #0.256.
link(87,13) :- #0.701.
link(13,94) :- #0.033.
link(94,13) :- #0.66.
link(13,98) :- #0.302.
link(98,13) :- #0.368.
link(13,107) :- #0.834.
link(107,13) :- #0.8.
link(13,111) :- #0.411.
link(111,13) :- #0.322.
link(13,118) :- #0.283.
link(118,13) :- #0.952.
link(13,128) :- #0.704.
link(128,13) :- #0.926.
link(14,18) :- #0.598.
link(18,14) :- #0.842.
link(14,34) :- #0.623.
link(34,14) :- #0.702.
link(14,40) :- #0.458.
link(40,14) :- #0.899.
link(14,51) :- #0.158.
link(51,14) :- #0.288.
link(14,69) :- #0.663.
link(69,14) :- #0.075.
link(14,71) :- #0.914.
link(71,14) :- #0.173.
link(14,85) :- #0.196.
link(85,14) :- #0.267.
link(14,89) :- #0.382.
link(89,14) :- #0.234.
link(14,97) :- #0.308.
link(97,14) :- #0.299.
link(14,98) :- #0.486.
link(98,14) :- #0.321.
link(14,101) :- #0.836.
link(101,14) :- #0.561.
link(14,114) :- #0.906.
link(114,14) :- #0.744.
link(14,120) :- #0.311.
link(120,14) :- #0.206.
link(14,123) :- #0.679.
link(123,14) :- #0.1.
link(15,16) :- #0.947.
link(16,15) :- #0.432.
link(15,28) :- #0.424.
link(28,15) :- #0.927.
link(15,58) :- #0.324.
link(58,15) :- #0.794.
link(15,69) :- #0.288.
link(69,15) :- #0.928.
link(15,77) :- #0.261.
link(77,15) :- #0.995.
link(15,84) :- #0.326.
link(84,15) :- #0.77.
link(15,92) :- #0.093.
link(92,15) :- #0.022.
link(15,93) :- #0.622.
link(93,15) :- #0.681.
link(15,112) :- #0.313.
link(112,15) :- #0.431.
link(15,120) :- #0.734.
link(120,15) :- #0.532.
link(15,137) :- #0.391.
link(137,15) :- #0.554.
link(16,19) :- #0.277.
link(19,16) :- #0.703.
link(16,35) :- #0.985.
link(35,16) :- #0.376.
link(16,53) :- #0.919.
link(53,16) :- #0.705.
link(16,60) :- #0.537.
link(60,16) :- #0.074.
link(16,69) :- #0.29.
link(69,16) :- #0.199.
link(16,75) :- #0.45.
link(75,16) :- #0.978.
link(16,92) :- #0.14.
link(92,16) :- #0.067.
link(16,100) :- #0.229.
link(100,16) :- #0.019.
link(16,127) :- #0.269.
link(127,16) :- #0.595.
link(16,135) :- #0.713.
link(135,16) :- #0.182.
link(16,136) :- #0.804.
link(136,16) :- #0.533.
link(17,26) :- #0.22.
link(26,17) :- #0.818.
link(17,38) :- #0.11.
link(38,17) :- #0.774.
link(17,39) :- #0.092.
link(39,17) :- #0.762.
link(17,43) :- #0.339.
link(43,17) :- #0.149.
link(17,45) :- #0.063.
link(45,17) :- #0.665.
link(17,52) :- #0.125.
link(52,17) :- #0.41.
link(17,71) :- #0.455.
link(71,17) :- #0.836.
link(17,74) :- #0.307.
link(74,17) :- #0.816.
link(17,78) :- #0.719.
link(78,17) :- #0.598.
link(17,85) :- #0.76.
link(85,17) :- #0.956.
link(17,97) :- #0.993.
link(97,17) :- #0.15.
link(17,100) :- #0.124.
link(100,17) :- #0.075.
link(17,106) :- #0.374.
link(106,17) :- #0.218.
link(17,115) :- #0.586.
link(115,17) :- #0.262.
link(17,127) :- #0.632.
link(127,17) :- #0.171.
link(17,137) :- #0.204.
link(137,17) :- #0.531.
link(17,140) :- #0.179.
link(140,17) :- #0.666.
link(18,43) :- #0.939.
link(43,18) :- #0.167.
link(18,51) :- #0.917.
link(51,18) :- #0.148.
link(18,94) :- #0.449.
link(94,18) :- #0.324.
link(18,118) :- #0.968.
link(118,18) :- #0.59.
link(19,25) :- #0.366.
link(25,19) :- #0.906.
link(19,27) :- #0.353.
link(27,19) :- #0.638.
link(19,29) :- #0.829.
link(29,19) :- #0.396.
link(19,32) :- #0.23.
link(32,19) :- #0.701.
link(19,49) :- #0.07.
link(49,19) :- #0.608.
link(19,57) :- #0.748.
link(57,19) :- #0.64.
link(19,70) :- #0.183.
link(70,19) :- #0.145.
link(19,74) :- #0.732.
link(74,19) :- #0.167.
link(19,81) :- #0.64.
link(81,19) :- #0.692.
link(19,88) :- #0.039.
link(88,19) :- #0.405.
link(19,117) :- #0.494.
link(117,19) :- #0.479.
link(19,126) :- #0.237.
link(126,19) :- #0.559.
link(19,132) :- #0.672.
link(132,19) :- #0.513.
link(20,23) :- #0.485.
link(23,20) :- #0.198.
link(20,26) :- #0.629.
link(26,20) :- #0.209.
link(20,35) :- #0.692.
link(35,20) :- #0.256.
link(20,55) :- #0.323.
link(55,20) :- #0.154.
link(20,59) :- #0.819.
link(59,20) :- #0.762.
link(20,77) :- #0.932.
link(77,20) :- #0.172.
link(20,78) :- #0.128.
link(78,20) :- #0.215.
link(20,80) :- #0.458.
link(80,20) :- #0.892.
link(20,91) :- #0.21.
link(91,20) :- #0.006.
link(20,97) :- #0.133.
link(97,20) :- #0.487.
link(20,102) :- #0.235.
link(102,20) :- #0.832.
link(20,108) :- #0.796.
link(108,20) :- #0.489.
link(20,120) :- #0.38.
link(120,20) :- #0.501.
link(20,124) :- #0.728.
link(124,20) :- #0.842.
link(20,126) :- #0.286.
link(126,20) :- #0.129.
link(20,129) :- #0.405.
link(129,20) :- #0.115.
link(21,37) :- #0.298.
link(37,21) :- #0.663.
link(21,58) :- #0.383.
link(58,21) :- #0.809.
link(21,61) :- #0.601.
link(61,21) :- #0.895.
link(21,65) :- #0.947.
link(65,21) :- #0.421.
link(21,88) :- #0.188.
link(88,21) :- #0.162.
link(21,93) :- #0.931.
link(93,21) :- #0.719.
link(21,94) :- #0.244.
link(94,21) :- #0.505.
link(21,100) :- #0.318.
link(100,21) :- #0.996.
link(21,108) :- #0.447.
link(108,21) :- #0.921.
link(21,109) :- #0.206.
link(109,21) :- #0.794.
link(21,123) :- #0.028.
link(123,21) :- #0.058.
link(21,137) :- #0.707.
link(137,21) :- #0.212.
link(21,140) :- #0.261.
link(140,21) :- #0.324.
link(22,30) :- #0.318.
link(30,22) :- #0.851.
link(22,31) :- #0.168.
link(31,22) :- #0.168.
link(22,45) :- #0.667.
link(45,22) :- #0.234.
link(22,46) :- #0.3.
link(46,22) :- #0.626.
link(22,63) :- #0.964.
link(63,22) :- #0.09.
link(22,69) :- #0.136.
link(69,22) :- #0.204.
link(22,94) :- #0.443.
link(94,22) :- #0.82.
link(22,97) :- #0.924.
link(97,22) :- #0.343.
link(22,100) :- #0.004.
link(100,22) :- #0.18.
link(22,107) :- #0.366.
link(107,22) :- #0.027.
link(22,115) :- #0.712.
link(115,22) :- #0.35.
link(22,116) :- #0.742.
link(116,22) :- #0.413.
link(22,121) :- #0.876.
link(121,22) :- #0.114.
link(22,125) :- #0.437.
link(125,22) :- #0.315.
link(23,25) :- #0.87.
link(25,23) :- #0.458.
link(23,56) :- #0.207.
link(56,23) :- #0.189.
link(23,73) :- #0.363.
link(73,23) :- #0.058.
link(23,75) :- #0.325.
link(75,23) :- #0.354.
link(23,120) :- #0.175.
link(120,23) :- #0.496.
link(23,123) :- #0.147.
link(123,23) :- #0.93.
link(23,129) :- #0.845.
link(129,23) :- #0.742.
link(23,132) :- #0.07.
link(132,23) :- #0.812.
link(24,31) :- #0.382.
link(31,24) :- #0.064.
link(24,50) :- #0.83.
link(50,24) :- #0.314.
link(24,55) :- #0.474.
link(55,24) :- #0.777.
link(24,63) :- #0.989.
link(63,24) :- #0.338.
link(24,95) :- #0.001.
link(95,24) :- #0.768.
link(24,98) :- #0.134.
link(98,24) :- #0.623.
link(24,99) :- #0.618.
link(99,24) :- #0.63.
link(24,102) :- #0.133.
link(102,24) :- #0.018.
link(24,103) :- #0.92.
link(103,24) :- #0.421.
link(24,108) :- #0.939.
link(108,24) :- #0.687.
link(24,117) :- #0.523.
link(117,24) :- #0.922.
link(24,133) :- #0.29.
link(133,24) :- #0.66.
link(24,134) :- #0.954.
link(134,24) :- #0.894.
link(24,137) :- #0.64.
link(137,24) :- #0.379.
link(25,27) :- #0.38.
link(27,25) :- #0.11.
link(25,30) :- #0.215.
link(30,25) :- #0.572.
link(25,38) :- #0.809.
link(38,25) :- #0.95.
link(25,40) :- #0.02.
link(40,25) :- #0.421.
link(25,48) :- #0.906.
link(48,25) :- #0.608.
link(25,51) :- #0.159.
link(51,25) :- #0.035.
link(25,53) :- #0.084.
link(53,25) :- #0.439.
link(25,56) :- #0.347.
link(56,25) :- #0.554.
link(25,58) :- #0.086.
link(58,25) :- #0.859.
link(25,69) :- #0.008.
link(69,25) :- #0.914.
link(25,70) :- #0.169.
link(70,25) :- #0.418.
link(25,94) :- #0.673.
link(94,25) :- #0.648.
link(25,99) :- #0.95.
link(99,25) :- #0.937.
link(25,133) :- #0.503.
link(133,25) :- #0.961.
link(26,29) :- #0.326.
link(29,26) :- #0.89.
link(26,31) :- #0.783.
link(31,26) :- #0.172.
link(26,41) :- #0.136.
link(41,26) :- #0.774.
link(26,58) :- #0.09.
link(58,26) :- #0.165.
link(26,76) :- #0.831.
link(76,26) :- #0.063.
link(26,103) :- #0.162.
link(103,26) :- #0.552.
link(26,120) :- #0.495.
link(120,26) :- #0.22.
link(26,132) :- #0.897.
link(132,26) :- #0.147.
link(27,49) :- #0.753.
link(49,27) :- #0.265.
link(27,56) :- #0.619.
link(56,27) :- #0.332.
link(27,68) :- #0.218.
link(68,27) :- #0.75.
link(27,69) :- #0.263.
link(69,27) :- #0.027.
link(27,76) :- #0.875.
link(76,27) :- #0.898.
link(27,94) :- #0.932.
link(94,27) :- #0.724.
link(27,98) :- #0.765.
link(98,27) :- #0.79.
link(27,108) :- #0.964.
link(108,27) :- #0.329.
link(27,120) :- #0.256.
link(120,27) :- #0.112.
link(27,129) :- #0.
link(129,27) :- #0.106.
link(27,131) :- #0.395.
link(131,27) :- #0.299.
link(27,135) :- #0.046.
link(135,27) :- #0.519.
link(27,137) :- #0.198.
link(137,27) :- #0.197.
link(28,35) :- #0.494.
link(35,28) :- #0.234.
link(28,45) :- #0.255.
link(45,28) :- #0.477.
link(28,54) :- #0.701.
link(54,28) :- #0.464.
link(28,58) :- #0.661.
link(58,28) :- #0.043.
link(28,62) :- #0.923.
link(62,28) :- #0.468.
link(28,71) :- #0.774.
link(71,28) :- #0.201.
link(28,84) :- #0.194.
link(84,28) :- #0.679.
link(28,91) :- #0.757.
link(91,28) :- #0.409.
link(28,101) :- #0.385.
link(101,28) :- #0.11.
link(28,109) :- #0.585.
link(109,28) :- #0.053.
link(28,115) :- #0.214.
link(115,28) :- #0.515.
link(28,121) :- #0.565.
link(121,28) :- #0.155.
link(29,30) :- #0.991.
link(30,29) :- #0.029.
link(29,42) :- #0.341.
link(42,29) :- #0.638.
link(29,43) :- #0.349.
link(43,29) :- #0.55.
link(29,48) :- #0.372.
link(48,29) :- #0.012.
link(29,68) :- #0.103.
link(68,29) :- #0.097.
link(29,75) :- #0.517.
link(75,29) :- #0.211.
link(29,84) :- #0.631.
link(84,29) :- #0.301.
link(29,93) :- #0.4.
link(93,29) :- #0.002.
link(29,98) :- #0.083.
link(98,29) :- #0.625.
link(29,109) :- #0.788.
link(109,29) :- #0.483.
link(29,111) :- #0.193.
link(111,29) :- #0.072.
link(29,112) :- #0.244.
link(112,29) :- #0.054.
link(29,127) :- #0.203.
link(127,29) :- #0.888.
link(30,45) :- #0.611.
link(45,30) :- #0.914.
link(30,72) :- #0.149.
link(72,30) :- #0.134.
link(30,76) :- #0.502.
link(76,30) :- #0.967.
link(30,80) :- #0.732.
link(80,30) :- #0.04.
link(30,96) :- #0.418.
link(96,30) :- #0.704.
link(30,98) :- #0.715.
link(98,30) :- #0.712.
link(30,102) :- #0.579.
link(102,30) :- #0.398.
link(31,39) :- #0.983.
link(39,31) :- #0.221.
link(31,52) :- #0.216.
link(52,31) :- #0.151.
link(31,98) :- #0.481.
link(98,31) :- #0.216.
link(31,116) :- #0.198.
link(116,31) :- #0.18.
link(31,119) :- #0.285.
link(119,31) :- #0.389.
link(31,126) :- #0.457.
link(126,31) :- #0.07.
link(31,134) :- #0.45.
link(134,31) :- #0.938.
link(32,35) :- #0.96.
link(35,32) :- #0.904.
link(32,40) :- #0.43.
link(40,32) :- #0.5.
link(32,52) :- #0.75.
link(52,32) :- #0.444.
link(32,53) :- #0.17.
link(53,32) :- #0.027.
link(32,59) :- #0.186.
link(59,32) :- #0.351.
link(32,70) :- #0.12.
link(70,32) :- #0.958.
link(32,84) :- #0.362.
link(84,32) :- #0.59.
link(32,86) :- #0.809.
link(86,32) :- #0.873.
link(32,87) :- #0.361.
link(87,32) :- #0.074.
link(32,88) :- #0.354.
link(88,32) :- #0.866.
link(32,103) :- #0.488.
link(103,32) :- #0.65.
link(32,109) :- #0.527.
link(109,32) :- #0.157.
link(32,112) :- #0.725.
link(112,32) :- #0.155.
link(32,130) :- #0.485.
link(130,32) :- #0.539.
link(32,135) :- #0.947.
link(135,32) :- #0.389.
link(33,35) :- #0.865.
link(35,33) :- #0.753.
link(33,54) :- #0.955.
link(54,33) :- #0.897.
link(33,59) :- #0.882.
link(59,33) :- #0.854.
link(33,73) :- #0.302.
link(73,33) :- #0.893.
link(33,80) :- #0.161.
link(80,33) :- #0.329.
link(33,81) :- #0.405.
link(81,33) :- #0.044.
link(33,86) :- #0.763.
link(86,33) :- #0.526.
link(33,89) :- #0.415.
link(89,33) :- #0.96.
link(33,91) :- #0.195.
link(91,33) :- #0.996.
link(33,95) :- #0.101.
link(95,33) :- #0.905.
link(33,103) :- #0.753.
link(103,33) :- #0.075.
link(33,113) :- #0.067.
link(113,33) :- #0.682.
link(33,120) :- #0.36.
link(120,33) :- #0.561.
link(33,122) :- #0.514.
link(122,33) :- #0.616.
link(33,125) :- #0.201.
link(125,33) :- #0.33.
link(34,36) :- #0.63.
link(36,34) :- #0.972.
link(34,37) :- #0.666.
link(37,34) :- #0.022.
link(34,39) :- #0.164.
link(39,34) :- #0.699.
link(34,48) :- #0.059.
link(48,34) :- #0.553.
link(34,87) :- #0.691.
link(87,34) :- #0.529.
link(34,99) :- #0.796.
link(99,34) :- #0.715.
link(34,105) :- #0.28.
link(105,34) :- #0.914.
link(34,114) :- #0.415.
link(114,34) :- #0.884.
link(34,126) :- #0.205.
link(126,34) :- #0.095.
link(34,138) :- #0.246.
link(138,34) :- #0.144.
link(35,47) :- #0.05.
link(47,35) :- #0.437.
link(35,55) :- #0.397.
link(55,35) :- #0.657.
link(35,74) :- #0.975.
link(74,35) :- #0.641.
link(35,78) :- #0.3.
link(78,35) :- #0.884.
link(35,94) :- #0.493.
link(94,35) :- #0.293.
link(35,131) :- #0.216.
link(131,35) :- #0.274.
link(35,133) :- #0.245.
link(133,35) :- #0.517.
link(35,134) :- #0.237.
link(134,35) :- #0.129.
link(35,138) :- #0.614.
link(138,35) :- #0.046.
link(35,139) :- #0.576.
link(139,35) :- #0.758.
link(36,61) :- #0.75.
link(61,36) :- #0.502.
link(36,64) :- #0.689.
link(64,36) :- #0.35.
link(36,88) :- #0.295.
link(88,36) :- #0.735.
link(36,94) :- #0.557.
link(94,36) :- #0.791.
link(36,97) :- #0.816.
link(97,36) :- #0.1.
link(36,104) :- #0.512.
link(104,36) :- #0.302.
link(36,108) :- #0.331.
link(108,36) :- #0.164.
link(36,132) :- #0.315.
link(132,36) :- #0.052.
link(36,137) :- #0.022.
link(137,36) :- #0.406.
link(37,53) :- #0.893.
link(53,37) :- #0.084.
link(37,72) :- #0.136.
link(72,37) :- #0.723.
link(37,95) :- #0.661.
link(95,37) :- #0.924.
link(37,110) :- #0.487.
link(110,37) :- #0.368.
link(37,123) :- #0.648.
link(123,37) :- #0.249.
link(37,128) :- #0.865.
link(128,37) :- #0.055.
link(37,130) :- #0.621.
link(130,37) :- #0.179.
link(37,137) :- #0.052.
link(137,37) :- #0.257.
link(38,39) :- #0.862.
link(39,38) :- #0.016.
link(38,46) :- #0.188.
link(46,38) :- #0.077.
link(38,51) :- #0.615.
link(51,38) :- #0.097.
link(38,52) :- #0.516.
link(52,38) :- #0.769.
link(38,54) :- #0.043.
link(54,38) :- #0.51.
link(38,56) :- #0.445.
link(56,38) :- #0.013.
link(38,77) :- #0.745.
link(77,38) :- #0.574.
link(38,91) :- #0.603.
link(91,38) :- #0.212.
link(38,92) :- #0.99.
link(92,38) :- #0.534.
link(38,98) :- #0.718.
link(98,38) :- #0.368.
link(38,106) :- #0.
link(106,38) :- #0.165.
link(38,117) :- #0.516.
link(117,38) :- #0.897.
link(38,124) :- #0.398.
link(124,38) :- #0.829.
link(38,137) :- #0.186.
link(137,38) :- #0.005.
link(38,139) :- #0.923.
link(139,38) :- #0.691.
link(39,52) :- #0.797.
link(52,39) :- #0.97.
link(39,62) :- #0.057.
link(62,39) :- #0.947.
link(39,66) :- #0.204.
link(66,39) :- #0.783.
link(39,99) :- #0.335.
link(99,39) :- #0.975.
link(39,130) :- #0.679.
link(130,39) :- #0.618.
link(39,133) :- #0.169.
link(133,39) :- #0.819.
link(39,139) :- #0.747.
link(139,39) :- #0.548.
link(40,84) :- #0.303.
link(84,40) :- #0.527.
link(40,92) :- #0.294.
link(92,40) :- #0.787.
link(40,100) :- #0.907.
link(100,40) :- #0.884.
link(40,105) :- #0.196.
link(105,40) :- #0.587.
link(41,45) :- #0.41.
link(45,41) :- #0.507.
link(41,56) :- #0.899.
link(56,41) :- #0.299.
link(41,67) :- #0.856.
link(67,41) :- #0.143.
link(41,68) :- #0.975.
link(68,41) :- #0.093.
link(41,94) :- #0.748.
link(94,41) :- #0.085.
link(41,107) :- #0.749.
link(107,41) :- #0.522.
link(41,114) :- #0.373.
link(114,41) :- #0.841.
link(41,125) :- #0.215.
link(125,41) :- #0.546.
link(41,137) :- #0.79.
link(137,41) :- #0.402.
link(41,140) :- #0.367.
link(140,41) :- #0.565.
link(42,53) :- #0.237.
link(53,42) :- #0.555.
link(42,60) :- #0.428.
link(60,42) :- #0.401.
link(42,61) :- #0.43.
link(61,42) :- #0.71.
link(42,81) :- #0.753.
link(81,42) :- #0.287.
link(42,83) :- #0.167.
link(83,42) :- #0.362.
link(42,101) :- #0.188.
link(101,42) :- #0.945.
link(42,109) :- #0.05.
link(109,42) :- #0.885.
link(42,116) :- #0.474.
link(116,42) :- #0.297.
link(42,126) :- #0.92.
link(126,42) :- #0.397.
link(42,136) :- #0.917.
link(136,42) :- #0.67.
link(43,59) :- #0.408.
link(59,43) :- #0.442.
link(43,66) :- #0.719.
link(66,43) :- #0.515.
link(43,73) :- #0.737.
link(73,43) :- #0.569.
link(43,78) :- #0.199.
link(78,43) :- #0.084.
link(43,79) :- #0.539.
link(79,43) :- #0.399.
link(43,89) :- #0.1.
link(89,43) :- #0.785.
link(43,104) :- #0.809.
link(104,43) :- #0.407.
link(43,108) :- #0.473.
link(108,43) :- #0.428.
link(43,123) :- #0.592.
link(123,43) :- #0.795.
link(43,124) :- #0.415.
link(124,43) :- #0.511.
link(43,130) :- #0.324.
link(130,43) :- #0.016.
link(43,135) :- #0.578.
link(135,43) :- #0.375.
link(44,47) :- #0.728.
link(47,44) :- #0.457.
link(44,50) :- #0.636.
link(50,44) :- #0.259.
link(44,61) :- #0.375.
link(61,44) :- #0.919.
link(44,100) :- #0.372.
link(100,44) :- #0.432.
link(44,103) :- #0.792.
link(103,44) :- #0.641.
link(44,118) :- #0.105.
link(118,44) :- #0.812.
link(44,125) :- #0.707.
link(125,44) :- #0.083.
link(44,134) :- #0.586.
link(134,44) :- #0.417.
link(44,136) :- #0.431.
link(136,44) :- #0.519.
link(44,138) :- #0.293.
link(138,44) :- #0.212.
link(45,58) :- #0.811.
link(58,45) :- #0.829.
link(45,95) :- #0.115.
link(95,45) :- #0.081.
link(45,106) :- #0.762.
link(106,45) :- #0.081.
link(45,110) :- #0.499.
link(110,45) :- #0.903.
link(45,118) :- #0.374.
link(118,45) :- #0.399.
link(45,120) :- #0.229.
link(120,45) :- #0.689.
link(45,134) :- #0.467.
link(134,45) :- #0.912.
link(45,140) :- #0.56.
link(140,45) :- #0.222.
link(46,65) :- #0.464.
link(65,46) :- #0.898.
link(46,86) :- #0.515.
link(86,46) :- #0.103.
link(46,97) :- #0.42.
link(97,46) :- #0.491.
link(46,100) :- #0.979.
link(100,46) :- #0.125.
link(46,105) :- #0.11.
link(105,46) :- #0.997.
link(46,117) :- #0.964.
link(117,46) :- #0.731.
link(46,138) :- #0.548.
link(138,46) :- #0.094.
link(47,51) :- #0.874.
link(51,47) :- #0.21.
link(47,53) :- #0.141.
link(53,47) :- #0.258.
link(47,71) :- #0.272.
link(71,47) :- #0.509.
link(47,75) :- #0.67.
link(75,47) :- #0.133.
link(47,92) :- #0.801.
link(92,47) :- #0.834.
link(47,101) :- #0.238.
link(101,47) :- #0.191.
link(47,118) :- #0.31.
link(118,47) :- #0.937.
link(47,123) :- #0.455.
link(123,47) :- #0.779.
link(47,124) :- #0.838.
link(124,47) :- #0.326.
link(47,136) :- #0.157.
link(136,47) :- #0.205.
link(48,59) :- #0.7.
link(59,48) :- #0.079.
link(48,62) :- #0.507.
link(62,48) :- #0.998.
link(48,65) :- #0.227.
link(65,48) :- #0.123.
link(48,72) :- #0.003.
link(72,48) :- #0.381.
link(48,74) :- #0.651.
link(74,48) :- #0.354.
link(48,83) :- #0.796.
link(83,48) :- #0.732.
link(48,85) :- #0.575.
link(85,48) :- #0.902.
link(48,98) :- #0.238.
link(98,48) :- #0.646.
link(48,99) :- #0.475.
link(99,48) :- #0.877.
link(48,124) :- #0.316.
link(124,48) :- #0.799.
link(48,126) :- #0.804.
link(126,48) :- #0.679.
link(48,129) :- #0.836.
link(129,48) :- #0.272.
link(49,91) :- #0.733.
link(91,49) :- #0.105.
link(49,101) :- #0.899.
link(101,49) :- #0.24.
link(49,112) :- #0.046.
link(112,49) :- #0.165.
link(49,124) :- #0.639.
link(124,49) :- #0.77.
link(50,58) :- #0.575.
link(58,50) :- #0.547.
link(50,60) :- #0.56.
link(60,50) :- #0.254.
link(50,64) :- #0.237.
link(64,50) :- #0.591.
link(50,107) :- #0.481.
link(107,50) :- #0.228.
link(50,110) :- #0.632.
link(110,50) :- #0.315.
link(50,113) :- #0.642.
link(113,50) :- #0.572.
link(50,114) :- #0.404.
link(114,50) :- #0.655.
link(50,128) :- #0.102.
link(128,50) :- #0.816.
link(50,130) :- #0.784.
link(130,50) :- #0.408.
link(51,53) :- #0.262.
link(53,51) :- #0.1.
link(51,75) :- #0.572.
link(75,51) :- #0.171.
link(51,90) :- #0.238.
link(90,51) :- #0.722.
link(51,91) :- #0.212.
link(91,51) :- #0.674.
link(51,92) :- #0.269.
link(92,51) :- #0.946.
link(51,97) :- #0.741.
link(97,51) :- #0.535.
link(51,102) :- #0.495.
link(102,51) :- #0.026.
link(51,109) :- #0.423.
link(109,51) :- #0.577.
link(51,133) :- #0.982.
link(133,51) :- #0.46.
link(52,57) :- #0.638.
link(57,52) :- #0.112.
link(52,63) :- #0.798.
link(63,52) :- #0.124.
link(52,67) :- #0.349.
link(67,52) :- #0.012.
link(52,84) :- #0.493.
link(84,52) :- #0.789.
link(52,103) :- #0.782.
link(103,52) :- #0.232.
link(52,121) :- #0.275.
link(121,52) :- #0.123.
link(53,56) :- #0.19.
link(56,53) :- #0.653.
link(53,66) :- #0.185.
link(66,53) :- #0.509.
link(53,74) :- #0.96.
link(74,53) :- #0.541.
link(53,78) :- #0.402.
link(78,53) :- #0.277.
link(53,81) :- #0.424.
link(81,53) :- #0.516.
link(53,86) :- #0.439.
link(86,53) :- #0.339.
link(53,89) :- #0.378.
link(89,53) :- #0.108.
link(53,95) :- #0.107.
link(95,53) :- #0.927.
link(53,99) :- #0.255.
link(99,53) :- #0.689.
link(53,115) :- #0.204.
link(115,53) :- #0.575.
link(53,120) :- #0.597.
link(120,53) :- #0.79.
link(53,122) :- #0.339.
link(122,53) :- #0.607.
link(53,125) :- #0.87.
link(125,53) :- #0.471.
link(54,62) :- #0.221.
link(62,54) :- #0.854.
link(54,67) :- #0.868.
link(67,54) :- #0.097.
link(54,86) :- #0.279.
link(86,54) :- #0.942.
link(54,94) :- #0.012.
link(94,54) :- #0.478.
link(54,98) :- #0.203.
link(98,54) :- #0.097.
link(54,100) :- #0.616.
link(100,54) :- #0.947.
link(54,110) :- #0.987.
link(110,54) :- #0.717.
link(54,113) :- #0.791.
link(113,54) :- #0.644.
link(54,135) :- #0.217.
link(135,54) :- #0.98.
link(55,56) :- #0.653.
link(56,55) :- #0.502.
link(55,86) :- #0.758.
link(86,55) :- #0.024.
link(55,92) :- #0.127.
link(92,55) :- #0.39.
link(55,97) :- #0.83.
link(97,55) :- #0.096.
link(55,100) :- #0.155.
link(100,55) :- #0.507.
link(55,119) :- #0.912.
link(119,55) :- #0.712.
link(55,132) :- #0.909.
link(132,55) :- #0.706.
link(55,137) :- #0.329.
link(137,55) :- #0.051.
link(55,138) :- #0.552.
link(138,55) :- #0.389.
link(56,67) :- #0.009.
link(67,56) :- #0.466.
link(56,68) :- #0.773.
link(68,56) :- #0.275.
link(56,88) :- #0.474.
link(88,56) :- #0.069.
link(56,94) :- #0.284.
link(94,56) :- #0.686.
link(56,96) :- #0.752.
link(96,56) :- #0.699.
link(56,110) :- #0.376.
link(110,56) :- #0.304.
link(56,121) :- #0.781.
link(121,56) :- #0.371.
link(56,126) :- #0.778.
link(126,56) :- #0.273.
link(56,131) :- #0.94.
link(131,56) :- #0.111.
link(57,64) :- #0.206.
link(64,57) :- #0.182.
link(57,70) :- #0.309.
link(70,57) :- #0.467.
link(57,79) :- #0.121.
link(79,57) :- #0.215.
link(57,104) :- #0.874.
link(104,57) :- #0.214.
link(57,108) :- #0.213.
link(108,57) :- #0.675.
link(57,115) :- #0.269.
link(115,57) :- #0.742.
link(57,130) :- #0.624.
link(130,57) :- #0.044.
link(58,67) :- #0.581.
link(67,58) :- #0.324.
link(58,68) :- #0.068.
link(68,58) :- #0.896.
link(58,88) :- #0.556.
link(88,58) :- #0.17.
link(58,94) :- #0.91.
link(94,58) :- #0.688.
link(58,98) :- #0.041.
link(98,58) :- #0.529.
link(58,111) :- #0.386.
link(111,58) :- #0.922.
link(58,117) :- #0.493.
link(117,58) :- #0.794.
link(59,69) :- #0.173.
link(69,59) :- #0.305.
link(59,70) :- #0.371.
link(70,59) :- #0.939.
link(59,71) :- #0.068.
link(71,59) :- #0.549.
link(59,79) :- #0.62.
link(79,59) :- #0.613.
link(59,83) :- #0.018.
link(83,59) :- #0.763.
link(59,85) :- #0.591.
link(85,59) :- #0.063.
link(59,86) :- #0.814.
link(86,59) :- #0.336.
link(59,89) :- #0.395.
link(89,59) :- #0.891.
link(59,96) :- #0.628.
link(96,59) :- #0.59.
link(59,105) :- #0.147.
link(105,59) :- #0.513.
link(59,107) :- #0.928.
link(107,59) :- #0.81.
link(59,110) :- #0.048.
link(110,59) :- #0.477.
link(59,114) :- #0.053.
link(114,59) :- #0.803.
link(59,117) :- #0.842.
link(117,59) :- #0.381.
link(59,130) :- #0.793.
link(130,59) :- #0.392.
link(60,63) :- #0.625.
link(63,60) :- #0.646.
link(60,64) :- #0.092.
link(64,60) :- #0.124.
link(60,81) :- #0.223.
link(81,60) :- #0.494.
link(60,84) :- #0.743.
link(84,60) :- #0.407.
link(60,88) :- #0.477.
link(88,60) :- #0.109.
link(60,94) :- #0.575.
link(94,60) :- #0.759.
link(60,102) :- #0.734.
link(102,60) :- #0.498.
link(60,112) :- #0.642.
link(112,60) :- #0.296.
link(60,134) :- #0.069.
link(134,60) :- #0.341.
link(61,75) :- #0.875.
link(75,61) :- #0.094.
link(61,77) :- #0.153.
link(77,61) :- #0.148.
link(61,108) :- #0.156.
link(108,61) :- #0.983.
link(61,138) :- #0.988.
link(138,61) :- #0.066.
link(62,69) :- #0.086.
link(69,62) :- #0.365.
link(62,73) :- #0.932.
link(73,62) :- #0.45.
link(62,77) :- #0.565.
link(77,62) :- #0.214.
link(62,121) :- #0.464.
link(121,62) :- #0.777.
link(63,67) :- #0.667.
link(67,63) :- #0.607.
link(63,68) :- #0.048.
link(68,63) :- #0.34.
link(63,75) :- #0.981.
link(75,63) :- #0.54.
link(63,83) :- #0.56.
link(83,63) :- #0.471.
link(63,88) :- #0.274.
link(88,63) :- #0.968.
link(63,100) :- #0.893.
link(100,63) :- #0.374.
link(64,67) :- #0.004.
link(67,64) :- #0.562.
link(64,69) :- #0.409.
link(69,64) :- #0.343.
link(64,76) :- #0.149.
link(76,64) :- #0.771.
link(64,86) :- #0.564.
link(86,64) :- #0.525.
link(64,87) :- #0.169.
link(87,64) :- #0.98.
link(64,90) :- #0.531.
link(90,64) :- #0.057.
link(64,93) :- #0.707.
link(93,64) :- #0.546.
link(64,95) :- #0.607.
link(95,64) :- #0.552.
link(64,111) :- #0.016.
link(111,64) :- #0.981.
link(64,113) :- #0.326.
link(113,64) :- #0.339.
link(64,114) :- #0.886.
link(114,64) :- #0.615.
link(64,129) :- #0.918.
link(129,64) :- #0.533.
link(64,138) :- #0.277.
link(138,64) :- #0.493.
link(65,115) :- #0.259.
link(115,65) :- #0.085.
link(65,121) :- #0.442.
link(121,65) :- #0.745.
link(65,124) :- #0.042.
link(124,65) :- #0.157.
link(65,134) :- #0.423.
link(134,65) :- #0.888.
link(65,140) :- #0.173.
link(140,65) :- #0.84.
link(66,77) :- #0.577.
link(77,66) :- #0.755.
link(66,83) :- #0.545.
link(83,66) :- #0.009.
link(66,101) :- #0.814.
link(101,66) :- #0.789.
link(66,104) :- #0.391.
link(104,66) :- #0.54.
link(66,124) :- #0.247.
link(124,66) :- #0.992.
link(66,132) :- #0.487.
link(132,66) :- #0.66.
link(66,136) :- #0.766.
link(136,66) :- #0.713.
link(67,68) :- #0.95.
link(68,67) :- #0.631.
link(67,92) :- #0.991.
link(92,67) :- #0.029.
link(67,106) :- #0.271.
link(106,67) :- #0.597.
link(67,118) :- #0.122.
link(118,67) :- #0.45.
link(67,131) :- #0.436.
link(131,67) :- #0.254.
link(67,136) :- #0.402.
link(136,67) :- #0.002.
link(68,69) :- #0.321.
link(69,68) :- #0.129.
link(68,93) :- #0.34.
link(93,68) :- #0.222.
link(68,130) :- #0.306.
link(130,68) :- #0.005.
link(68,136) :- #0.181.
link(136,68) :- #0.526.
link(69,82) :- #0.094.
link(82,69) :- #0.224.
link(69,86) :- #0.682.
link(86,69) :- #0.87.
link(69,94) :- #0.551.
link(94,69) :- #0.883.
link(69,109) :- #0.28.
link(109,69) :- #0.249.
link(69,126) :- #0.91.
link(126,69) :- #0.889.
link(69,127) :- #0.808.
link(127,69) :- #0.536.
link(70,90) :- #0.8.
link(90,70) :- #0.452.
link(70,111) :- #0.801.
link(111,70) :- #0.696.
link(70,113) :- #0.962.
link(113,70) :- #0.069.
link(70,115) :- #0.991.
link(115,70) :- #0.579.
link(71,75) :- #0.718.
link(75,71) :- #0.883.
link(71,115) :- #0.169.
link(115,71) :- #0.212.
link(71,117) :- #0.657.
link(117,71) :- #0.273.
link(71,123) :- #0.185.
link(123,71) :- #0.743.
link(71,125) :- #0.612.
link(125,71) :- #0.531.
link(71,128) :- #0.604.
link(128,71) :- #0.502.
link(72,81) :- #0.137.
link(81,72) :- #0.077.
link(72,83) :- #0.403.
link(83,72) :- #0.921.
link(72,86) :- #0.75.
link(86,72) :- #0.91.
link(72,89) :- #0.035.
link(89,72) :- #0.468.
link(72,111) :- #0.405.
link(111,72) :- #0.418.
link(72,130) :- #0.2.
link(130,72) :- #0.213.
link(72,136) :- #0.752.
link(136,72) :- #0.457.
link(72,138) :- #0.466.
link(138,72) :- #0.785.
link(73,78) :- #0.024.
link(78,73) :- #0.11.
link(73,79) :- #0.579.
link(79,73) :- #0.354.
link(73,88) :- #0.792.
link(88,73) :- #0.287.
link(73,93) :- #0.197.
link(93,73) :- #0.945.
link(73,133) :- #0.717.
link(133,73) :- #0.356.
link(74,76) :- #0.305.
link(76,74) :- #0.009.
link(74,92) :- #0.082.
link(92,74) :- #0.182.
link(74,95) :- #0.507.
link(95,74) :- #0.291.
link(74,97) :- #0.576.
link(97,74) :- #0.083.
link(74,122) :- #0.438.
link(122,74) :- #0.877.
link(74,140) :- #0.235.
link(140,74) :- #0.466.
link(75,79) :- #0.103.
link(79,75) :- #0.9.
link(75,83) :- #0.744.
link(83,75) :- #0.848.
link(75,88) :- #0.862.
link(88,75) :- #0.019.
link(75,101) :- #0.679.
link(101,75) :- #0.02.
link(75,117) :- #0.143.
link(117,75) :- #0.058.
link(76,85) :- #0.63.
link(85,76) :- #0.682.
link(76,97) :- #0.764.
link(97,76) :- #0.338.
link(76,99) :- #0.238.
link(99,76) :- #0.632.
link(76,123) :- #0.68.
link(123,76) :- #0.444.
link(76,133) :- #0.688.
link(133,76) :- #0.699.
link(77,95) :- #0.258.
link(95,77) :- #0.686.
link(77,98) :- #0.364.
link(98,77) :- #0.086.
link(77,100) :- #0.154.
link(100,77) :- #0.095.
link(77,132) :- #0.799.
link(132,77) :- #0.515.
link(77,134) :- #0.847.
link(134,77) :- #0.62.
link(77,136) :- #0.275.
link(136,77) :- #0.86.
link(78,90) :- #0.952.
link(90,78) :- #0.673.
link(78,95) :- #0.084.
link(95,78) :- #0.515.
link(78,111) :- #0.99.
link(111,78) :- #0.466.
link(78,115) :- #0.431.
link(115,78) :- #0.093.
link(78,126) :- #0.1.
link(126,78) :- #0.546.
link(78,130) :- #0.772.
link(130,78) :- #0.789.
link(78,131) :- #0.818.
link(131,78) :- #0.959.
link(79,90) :- #0.368.
link(90,79) :- #0.502.
link(79,113) :- #0.898.
link(113,79) :- #0.731.
link(79,117) :- #0.397.
link(117,79) :- #0.139.
link(79,127) :- #0.969.
link(127,79) :- #0.392.
link(79,136) :- #0.879.
link(136,79) :- #0.292.
link(80,82) :- #0.66.
link(82,80) :- #0.788.
link(80,87) :- #0.145.
link(87,80) :- #0.867.
link(80,92) :- #0.56.
link(92,80) :- #0.919.
link(80,95) :- #0.961.
link(95,80) :- #0.682.
link(80,107) :- #0.739.
link(107,80) :- #0.358.
link(80,108) :- #0.68.
link(108,80) :- #0.228.
link(80,116) :- #0.58.
link(116,80) :- #0.375.
link(80,125) :- #0.709.
link(125,80) :- #0.58.
link(81,84) :- #0.74.
link(84,81) :- #0.139.
link(81,96) :- #0.138.
link(96,81) :- #0.292.
link(81,109) :- #0.35.
link(109,81) :- #0.737.
link(81,120) :- #0.586.
link(120,81) :- #0.097.
link(81,121) :- #0.123.
link(121,81) :- #0.753.
link(81,128) :- #0.255.
link(128,81) :- #0.689.
link(82,110) :- #0.251.
link(110,82) :- #0.123.
link(82,127) :- #0.074.
link(127,82) :- #0.078.
link(82,136) :- #0.418.
link(136,82) :- #0.139.
link(82,139) :- #0.82.
link(139,82) :- #0.138.
link(82,140) :- #0.621.
link(140,82) :- #0.091.
link(83,89) :- #0.761.
link(89,83) :- #0.503.
link(83,94) :- #0.921.
link(94,83) :- #0.813.
link(83,96) :- #0.692.
link(96,83) :- #0.964.
link(83,97) :- #0.569.
link(97,83) :- #0.796.
link(83,103) :- #0.335.
link(103,83) :- #0.701.
link(83,122) :- #0.062.
link(122,83) :- #0.578.
link(83,126) :- #0.697.
link(126,83) :- #0.78.
link(83,137) :- #0.488.
link(137,83) :- #0.498.
link(83,139) :- #0.781.
link(139,83) :- #0.56.
link(84,90) :- #0.567.
link(90,84) :- #0.058.
link(84,107) :- #0.539.
link(107,84) :- #0.375.
link(84,114) :- #0.19.
link(114,84) :- #0.79.
link(84,117) :- #0.331.
link(117,84) :- #0.51.
link(84,120) :- #0.21.
link(120,84) :- #0.711.
link(84,125) :- #0.78.
link(125,84) :- #0.424.
link(84,126) :- #0.934.
link(126,84) :- #0.885.
link(85,113) :- #0.352.
link(113,85) :- #0.952.
link(85,115) :- #0.176.
link(115,85) :- #0.823.
link(85,116) :- #0.567.
link(116,85) :- #0.995.
link(85,118) :- #0.088.
link(118,85) :- #0.271.
link(85,120) :- #0.41.
link(120,85) :- #0.878.
link(85,131) :- #0.035.
link(131,85) :- #0.371.
link(85,135) :- #0.499.
link(135,85) :- #0.014.
link(86,89) :- #0.803.
link(89,86) :- #0.056.
link(86,90) :- #0.217.
link(90,86) :- #0.927.
link(86,140) :- #0.882.
link(140,86) :- #0.513.
link(87,89) :- #0.503.
link(89,87) :- #0.783.
link(87,93) :- #0.888.
link(93,87) :- #0.341.
link(87,96) :- #0.012.
link(96,87) :- #0.761.
link(87,99) :- #0.481.
link(99,87) :- #0.902.
link(87,107) :- #0.066.
link(107,87) :- #0.335.
link(87,116) :- #0.989.
link(116,87) :- #0.085.
link(87,117) :- #0.218.
link(117,87) :- #0.676.
link(87,119) :- #0.109.
link(119,87) :- #0.013.
link(87,137) :- #0.499.
link(137,87) :- #0.953.
link(88,93) :- #0.326.
link(93,88) :- #0.956.
link(88,98) :- #0.877.
link(98,88) :- #0.604.
link(88,128) :- #0.406.
link(128,88) :- #0.107.
link(89,90) :- #0.171.
link(90,89) :- #0.44.
link(89,92) :- #0.469.
link(92,89) :- #0.866.
link(89,109) :- #0.464.
link(109,89) :- #0.216.
link(89,126) :- #0.72.
link(126,89) :- #0.546.
link(90,94) :- #0.82.
link(94,90) :- #0.782.
link(90,95) :- #0.078.
link(95,90) :- #0.993.
link(90,100) :- #0.153.
link(100,90) :- #0.673.
link(90,113) :- #0.301.
link(113,90) :- #0.665.
link(90,114) :- #0.096.
link(114,90) :- #0.723.
link(90,128) :- #0.078.
link(128,90) :- #0.342.
link(91,101) :- #0.523.
link(101,91) :- #0.673.
link(91,121) :- #0.274.
link(121,91) :- #0.557.
link(91,130) :- #0.485.
link(130,91) :- #0.353.
link(91,132) :- #0.51.
link(132,91) :- #0.076.
link(91,134) :- #0.972.
link(134,91) :- #0.835.
link(91,137) :- #0.435.
link(137,91) :- #0.686.
link(92,94) :- #0.632.
link(94,92) :- #0.258.
link(92,108) :- #0.158.
link(108,92) :- #0.154.
link(92,109) :- #0.834.
link(109,92) :- #0.139.
link(92,117) :- #0.827.
link(117,92) :- #0.438.
link(92,125) :- #0.862.
link(125,92) :- #0.944.
link(92,127) :- #0.091.
link(127,92) :- #0.052.
link(93,103) :- #0.297.
link(103,93) :- #0.089.
link(93,125) :- #0.492.
link(125,93) :- #0.373.
link(94,109) :- #0.41.
link(109,94) :- #0.228.
link(94,110) :- #0.498.
link(110,94) :- #0.723.
link(94,114) :- #0.743.
link(114,94) :- #0.506.
link(95,106) :- #0.989.
link(106,95) :- #0.163.
link(95,111) :- #0.445.
link(111,95) :- #0.035.
link(95,128) :- #0.5.
link(128,95) :- #0.241.
link(96,105) :- #0.068.
link(105,96) :- #0.372.
link(96,111) :- #0.046.
link(111,96) :- #0.955.
link(96,136) :- #0.498.
link(136,96) :- #0.569.
link(97,108) :- #0.179.
link(108,97) :- #0.015.
link(97,116) :- #0.846.
link(116,97) :- #0.94.
link(97,122) :- #0.206.
link(122,97) :- #0.139.
link(97,132) :- #0.304.
link(132,97) :- #0.158.
link(97,135) :- #0.7.
link(135,97) :- #0.837.
link(98,135) :- #0.98.
link(135,98) :- #0.423.
link(98,137) :- #0.439.
link(137,98) :- #0.353.
link(98,140) :- #0.385.
link(140,98) :- #0.144.
link(99,100) :- #0.249.
link(100,99) :- #0.487.
link(99,102) :- #0.579.
link(102,99) :- #0.9.
link(99,108) :- #0.454.
link(108,99) :- #0.852.
link(99,125) :- #0.942.
link(125,99) :- #0.066.
link(99,133) :- #0.49.
link(133,99) :- #0.099.
link(99,136) :- #0.416.
link(136,99) :- #0.755.
link(99,139) :- #0.914.
link(139,99) :- #0.261.
link(100,110) :- #0.717.
link(110,100) :- #0.081.
link(100,117) :- #0.352.
link(117,100) :- #0.987.
link(100,140) :- #0.203.
link(140,100) :- #0.87.
link(101,130) :- #0.819.
link(130,101) :- #0.121.
link(101,140) :- #0.564.
link(140,101) :- #0.934.
link(102,121) :- #0.312.
link(121,102) :- #0.196.
link(102,130) :- #0.355.
link(130,102) :- #0.995.
link(102,139) :- #0.071.
link(139,102) :- #0.579.
link(103,130) :- #0.392.
link(130,103) :- #0.091.
link(103,137) :- #0.712.
link(137,103) :- #0.58.
link(103,140) :- #0.636.
link(140,103) :- #0.21.
link(104,122) :- #0.665.
link(122,104) :- #0.014.
link(105,125) :- #0.97.
link(125,105) :- #0.576.
link(106,110) :- #0.328.
link(110,106) :- #0.845.
link(106,113) :- #0.287.
link(113,106) :- #0.158.
link(106,115) :- #0.975.
link(115,106) :- #0.407.
link(106,131) :- #0.887.
link(131,106) :- #0.885.
link(106,138) :- #0.121.
link(138,106) :- #0.596.
link(106,140) :- #0.792.
link(140,106) :- #0.782.
link(107,110) :- #0.34.
link(110,107) :- #0.769.
link(107,118) :- #0.58.
link(118,107) :- #0.893.
link(108,119) :- #0.038.
link(119,108) :- #0.125.
link(108,138) :- #0.461.
link(138,108) :- #0.612.
link(109,112) :- #0.522.
link(112,109) :- #0.018.
link(109,117) :- #0.917.
link(117,109) :- #0.02.
link(110,115) :- #0.817.
link(115,110) :- #0.355.
link(110,119) :- #0.363.
link(119,110) :- #0.275.
link(110,124) :- #0.639.
link(124,110) :- #0.253.
link(110,126) :- #0.328.
link(126,110) :- #0.03.
link(111,116) :- #0.954.
link(116,111) :- #0.074.
link(111,127) :- #0.992.
link(127,111) :- #0.788.
link(111,129) :- #0.858.
link(129,111) :- #0.522.
link(111,136) :- #0.801.
link(136,111) :- #0.793.
link(111,139) :- #0.404.
link(139,111) :- #0.373.
link(111,140) :- #0.207.
link(140,111) :- #0.365.
link(112,113) :- #0.468.
link(113,112) :- #0.808.
link(112,135) :- #0.404.
link(135,112) :- #0.957.
link(113,121) :- #0.115.
link(121,113) :- #0.982.
link(114,119) :- #0.641.
link(119,114) :- #0.911.
link(114,130) :- #0.968.
link(130,114) :- #0.148.
link(114,136) :- #0.142.
link(136,114) :- #0.014.
link(115,121) :- #0.204.
link(121,115) :- #0.012.
link(115,122) :- #0.779.
link(122,115) :- #0.149.
link(115,132) :- #0.43.
link(132,115) :- #0.52.
link(117,118) :- #0.085.
link(118,117) :- #0.454.
link(117,129) :- #0.438.
link(129,117) :- #0.477.
link(117,130) :- #0.317.
link(130,117) :- #0.289.
link(118,121) :- #0.745.
link(121,118) :- #0.343.
link(118,123) :- #0.687.
link(123,118) :- #0.752.
link(119,120) :- #0.686.
link(120,119) :- #0.849.
link(120,129) :- #0.282.
link(129,120) :- #0.493.
link(120,130) :- #0.279.
link(130,120) :- #0.259.
link(120,132) :- #0.149.
link(132,120) :- #0.724.
link(121,137) :- #0.198.
link(137,121) :- #0.8.
link(121,138) :- #0.599.
link(138,121) :- #0.948.
link(122,123) :- #0.133.
link(123,122) :- #0.127.
link(122,129) :- #0.477.
link(129,122) :- #0.425.
link(122,139) :- #0.869.
link(139,122) :- #0.266.
link(123,126) :- #0.45.
link(126,123) :- #0.209.
link(124,140) :- #0.451.
link(140,124) :- #0.024.
link(126,131) :- #0.61.
link(131,126) :- #0.091.
link(127,130) :- #0.142.
link(130,127) :- #0.896.
link(127,139) :- #0.833.
link(139,127) :- #0.646.
link(128,137) :- #0.162.
link(137,128) :- #0.398.
link(129,133) :- #0.657.
link(133,129) :- #0.808.
link(130,134) :- #0.842.
link(134,130) :- #0.011.
link(130,135) :- #0.156.
link(135,130) :- #0.221.
link(130,136) :- #0.137.
link(136,130) :- #0.437.
link(130,140) :- #0.75.
link(140,130) :- #0.536.
link(132,139) :- #0.012.
link(139,132) :- #0.195.
link(133,135) :- #0.603.
link(135,133) :- #0.546.
link(133,137) :- #0.98.
link(137,133) :- #0.123.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
